A common programming language rule that demands strict adherence to typing. For example, data of one type (integer, string, etc.) cannot be passed to a variable defined as a different type. Strong typing rules are governed by the compiler of the language. Contrast with
weak typing. See
variable typing.